for (;;) {
  with (a) {
    continue;
  }
  b();
}
